Skip to content

[Macros] Create type refinement context for MacroExpansionDecl#65959

Merged
rintaro merged 1 commit intoswiftlang:mainfrom
rintaro:macros-typerefinement-context
May 17, 2023
Merged

[Macros] Create type refinement context for MacroExpansionDecl#65959
rintaro merged 1 commit intoswiftlang:mainfrom
rintaro:macros-typerefinement-context

Conversation

@rintaro
Copy link
Copy Markdown
Member

@rintaro rintaro commented May 16, 2023

rdar://107386648

@rintaro
Copy link
Copy Markdown
Member Author

rintaro commented May 16, 2023

@swift-ci Please smoke test

Comment thread lib/AST/TypeRefinementContext.cpp Outdated
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think you don't need this.

Comment thread lib/AST/ASTWalker.cpp Outdated
Copy link
Copy Markdown
Member Author

@rintaro rintaro May 16, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TypeRefinementContextBuilder doesn't walk into expansions, but It does decl->walk(builder) on the top level decls of the synthesized buffer. In such cases, I think the caller explicitly want to walk to it regardless of the macro walk mode.

Comment on lines 61 to 69
Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Unrelated. Will remove this

Comment on lines 139 to 129
Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add test case without this attribute. to check if it's diagnosed properly

@rintaro rintaro force-pushed the macros-typerefinement-context branch from 2d81379 to d49acf9 Compare May 17, 2023 03:46
@rintaro rintaro force-pushed the macros-typerefinement-context branch from d49acf9 to 7c2a73e Compare May 17, 2023 03:47
@rintaro rintaro marked this pull request as ready for review May 17, 2023 03:48
@rintaro
Copy link
Copy Markdown
Member Author

rintaro commented May 17, 2023

@swift-ci Please smoke test

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants